remainder theorem number system